S is a linearly independent set over a field F if whenever there are vectors v₁,...,v_n from S and scalars a₁, ..., a_n from F such that a₁v₁+...+a_nv_n=0, then a₁ = a₂ = ... = a_n = 0.